More from this Author

Theorem Proving in Higher Order Logics

by Otmane Ait Mohamed (Editor), Cesar Munoz (Editor), Sofiene Tahar (Editor)